STM: m-at-feasible

ABS: System

STM: msystem wf

ABS: 

STM: m-sys-null wf

STM: d-feasible-null

ABS: @i: A

STM: m-sys-at wf

ABS: A || B

STM: m-sys-compatible wf

STM: m-sys-null-compatible-right

STM: m-sys-null-compatible-left

ABS: A  B

STM: m-sys-join wf

STM: m-sys-join wf2

STM: dsys-compatible-join

STM: dsys-compatible-join2

ABS: interface-link(A;B;l;tg)

STM: interface-link wf

ABS: interface-compatible(A;B)

STM: interface-compatible wf

STM: interface-compatible-symmetry

STM: interface-compatible-null

STM: interface-compatible-join

STM: interface-compatible-join2

STM: m-sys-feasible-join

STM: dsys-sub-join-left

STM: dsys-sub-join-right